121. An invitation to applied category theory :
Author: Brendan Fong, David I. Spivak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
122. An invitation to applied category theory
Author: Brendan Fong, David I. Spivak.,Fong, Brendan,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
123. An invitation to applied category theory :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
124. An outline of set theory
Author: / James M.Henle
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Set theory,Logic,symbolic and mathematical
Classification :
511
.
322
H514o
125. An outline of set theory
Author: Henle, James M
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
H43
1986
126. An outline of set theory
Author: / James M. Henle,Henle
Library: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
511
.
322
H514O
127. An outline of set theory
Author: James M. Henle,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
.
H43
248
1986
128. An outline of set theory /
Author: James M. Henle
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Set theory,Ensembles, Théorie des,Logique symbolique et mathématique
Classification :
QA248
.
H43
1986
129. <An> outline of set theory
Author: James M. Henle
Library: Vali Asr University Central Library (Kerman)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
H43
1986
130. An outline of set theory
Author: / James M. Henle.,Henley
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Set Theory -- Study and teaching,Logic, Symbolic and mathematical
Classification :
QA
248
.
H43
1986
131. An outline of set theory
Author: / James M. Henle
Library: Library of College of Science University of Tehran (Tehran)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
H43
1986
132. An outline of set theory
Author: Henle, James M.
Library: Central library and information center (Khorasan Razavi)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
H43
1986
133. An outline of set theory
Author: Henle, James M.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
H43
1986
134. An outline of set theory
Author: James M. Henle.
Library: Vali Asr University Central Library (Kerman)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
H43
1986
135. Appalachian set theory :
Author: James Cummings, Ernest Schimmerling
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Set theory
Classification :
QA248
.
A66
2013
136. Applications of Hyperstructure Theory
Author: by Piergiulio Corsini, Violeta Leoreanu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
137. Aspects of mathematical logic
Author: / edited by E. Casari
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
Classification :
QA9
.
A1C56
2010
138. Assumptions of Grand Logics
Author: by James K. Feibleman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
Classification :
BC71
.
B953
1979
139. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
